[计] 程序正确性证明 proof of program correctness: 程序正确性证明correctness proof: 正确性证明proof of correctness: 程序正确性证明; 正确性证明program correctness: 程序的正确性; 程序正确性partial correctness proof: 部分正确性证明下载手机词典可随时随地查词查翻译